id{-}deq $\in$ EqDecider(Id)